Control-flow analysis

Results: 217



#Item
191Road safety / Operations research / Actuarial science / Risk management / Road traffic control / Traffic flow / Multi-criteria decision analysis / Risk / Simulation / Transport / Land transport / Road transport

Transport Research Arena 2014, Paris The STARs evaluation tool: optimising network performance, road worker safety and road user safety during roadworks and maintenance Jill Weekleya*, Nora Ni Nuallainb, Renaud Sarrazin

Add to Reading List

Source URL: www.traconference.eu

Language: English - Date: 2014-06-17 12:25:27
192Medical equipment / Total organic carbon / Water pollution / Science / Quality assurance / Laboratory quality control / Flow injection analysis / Technology / Analytical chemistry / Laboratory equipment / Quality control

PDF Document

Add to Reading List

Source URL: water.epa.gov

Language: English - Date: 2011-09-10 17:02:30
193Abstract algebra / Control flow / Eval / Exponential function / Exponentiation / Standard ML / Exponentials / Mathematical analysis / Mathematics

[removed], Fall Semester, 2006—Final Exam MASSACHVSETTS INSTITVTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science 6.001—Structure and Interpretation of Computer Programs

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2008-09-09 11:39:37
194Spam filtering / Computer-mediated communication / Email / Anti-spam techniques / DomainKeys Identified Mail / Email spam / Spam / Message transfer agent / CAN-SPAM Act / Computing / Spamming / Internet

Stages of spam-prevention Integrating amavid-new into Postfix The nature of content control amavisd-new Implementations Ba Controlling mail message flow by content analysis Ralf Hildebrandt

Add to Reading List

Source URL: www.arschkrebs.de

Language: English - Date: 2008-10-26 12:22:33
195Information / TCP/IP / Flow control / TCP congestion avoidance algorithm / Data transmission / Transmission Control Protocol / Packet loss / Slow-start / Network congestion / Network performance / Data / Computing

To appear in INFOCOM’98 TCP Fast Recovery Strategies: Analysis and Improvements Dong Lin and H.T. Kung Division of Engineering and Applied Sciences Harvard University

Add to Reading List

Source URL: www.eecs.harvard.edu

Language: English - Date: 1998-02-11 18:37:41
196Kalman filter / Robot control / Cybernetics / Parameter / Stock and flow / Dimensional analysis / Causality / Science / Knowledge / Control theory

Real-Time Measurement of Business Conditions S. Bora˘gan Aruoba∗ Francis X. Diebold Chiara Scotti

Add to Reading List

Source URL: www.philadelphiafed.org

Language: English - Date: 2014-01-03 12:01:40
197Compiler construction / Network flow / Pattern matching / Control flow / Static single assignment form / Erlang / Flow network / Data-flow analysis / Continuation-passing style / Graph theory / Software engineering / Computing

Flow Graphs for Testing Sequential Erlang Programs Manfred Widera Fachbereich Informatik, FernUniversitt Hagen D[removed]Hagen, Germany [removed]

Add to Reading List

Source URL: www.erlang.se

Language: English - Date: 2004-10-14 07:15:09
198Road safety / Traffic law / Maryland State Highway Administration / Transportation in Maryland / Traffic flow / Traffic congestion / Road traffic control / Traffic / Roundabout / Transport / Land transport / Road transport

Applied Technology and Traffic Analysis Program (ATTAP) Welcome to ATTAP To effectively contend with increasing statewide traffic congestion and to best use diminishing resources for potential improvement, the Office of

Add to Reading List

Source URL: attap.umd.edu

Language: English - Date: 2013-05-21 14:47:28
199Symbol / Structure / Model theory / Mathematics / Logic / Automata theory / Models of computation / Pushdown automaton

Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might

Add to Reading List

Source URL: matt.might.net

Language: English - Date: 2014-01-06 09:40:03
200Control flow analysis / Programming Language Design and Implementation / Data-flow analysis

Resolving and Exploiting the k-CFA Paradox Matthew Might, Yannis Smaragdakis, and David Van Horn Plan ⋆ What is k -CFA?

Add to Reading List

Source URL: matt.might.net

Language: English - Date: 2014-01-06 09:40:17
UPDATE